Generating Secure Service Compositions

Ensuring that the compositions of services that constitute service-based systems satisfy given security properties is a key prerequisite for the adoption of the service oriented computing paradigm. In this paper, we address this issue using a novel approach that guarantees service composition security by virtue of the generation of compositions. Our approach generates service compositions that are guaranteed to satisfy security properties based on secure service orchestration (SESO) patterns. These patterns express primitive (e.g., sequential, parallel) service orchestrations, which are proven to have certain global security properties if the individual services participating in them have themselves other security properties. The paper shows how SESO patterns can be constructed and gives examples of proofs for such patterns. It also presents the process of using SESO patterns to generate secure service compositions and presents the results of an initial experimental evaluation of the approach

Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

A Review of Cloud Manufacturing: Issues and Opportunities

Cloud Manufacturing (CM) is the latest manufacturing paradigm that enables manufacturing to be looked upon as a service industry. The aim is to offer manufacturing as a service so that an individual or organization is willing to manufacture products and utilize this service without having to make capital investment. However, industry adoption of CM paradigm is still limited.  This paper compared the current adoption of CM by the industry with the ideal CM environment.  The gaps between the two were identified and related research topics were reviewed.  This paper also outlined research areas to be pursued to facilitate CM adoption by the manufacturing industry.  This will also improve manufacturing resource utilization efficiencies not only within an organization but globally.  At the end, the cost benefits will be passed down to end customer

A framework for deriving semantic web services

Web service-based development represents an emerging approach for the development of distributed information systems. Web services have been mainly applied by software practitioners as a means to modularize system functionality that can be offered across a network (e.g., intranet and/or the Internet). Although web services have been predominantly developed as a technical solution for integrating software systems, there is a more business-oriented aspect that developers and enterprises need to deal with in order to benefit from the full potential of web services in an electronic market. This ‘ignored’ aspect is the representation of the semantics underlying the services themselves as well as the ‘things’ that the services manage. Currently languages like the Web Services Description Language (WSDL) provide the syntactic means to describe web services, but lack in providing a semantic underpinning. In order to harvest all the benefits of web services technology, a framework has been developed for deriving business semantics from syntactic descriptions of web services. The benefits of such a framework are two-fold. Firstly, the framework provides a way to gradually construct domain ontologies from previously defined technical services. Secondly, the framework enables the migration of syntactically defined web services toward semantic web services. The study follows a design research approach which (1) identifies the problem area and its relevance from an industrial case study and previous research, (2) develops the framework as a design artifact and (3) evaluates the application of the framework through a relevant scenario

Mycobacterium abscessus Glycopeptidolipid Prevents Respiratory Epithelial TLR2 Signaling as Measured by HβD2 Gene Expression and IL-8 Release

Mycobacterium abscessus has emerged as an important cause of lung infection, particularly in patients with bronchiectasis. Innate immune responses must be highly effective at preventing infection with M. abscessus because it is a ubiquitous environmental saprophyte and normal hosts are not commonly infected. M. abscessus exists as either a glycopeptidolipid (GPL) expressing variant (smooth phenotype) in which GPL masks underlying bioactive cell wall lipids, or as a variant lacking GPL which is immunostimulatory and invasive in macrophage infection models. Respiratory epithelium has been increasingly recognized as playing an important role in the innate immune response to pulmonary pathogens. Respiratory epithelial cells express toll-like receptors (TLRs) which mediate the innate immune response to pulmonary pathogens. Both interleukin-8 (IL-8) and human β-defensin 2 (HβD2) are expressed by respiratory epithelial cells in response to toll-like receptor 2 (TLR2) receptor stimulation. In this study, we demonstrate that respiratory epithelial cells respond to M. abscessus variants lacking GPL with expression of IL-8 and HβD2. Furthermore, we demonstrate that this interaction is mediated through TLR2. Conversely, M. abscessus expressing GPL does not stimulate expression of IL-8 or HβD2 by respiratory epithelial cells which is consistent with “masking” of underlying bioactive cell wall lipids by GPL. Because GPL-expressing smooth variants are the predominant phenotype existing in the environment, this provides an explanation whereby initial M. abscessus colonization of abnormal lung airways escapes detection by the innate immune system

Mycobacterium abscessus-Induced Granuloma Formation Is Strictly Dependent on TNF Signaling and Neutrophil Trafficking

Mycobacterium abscessus is considered the most common respiratory pathogen among the rapidly growing non-tuberculous mycobacteria. Infections with M. abscessus are increasingly found in patients with chronic lung diseases, especially cystic fibrosis, and are often refractory to antibiotic therapy. M. abscessus has two morphotypes with distinct effects on host cells and biological responses. The smooth (S) variant is recognized as the initial airway colonizer while the rough (R) is known to be a potent inflammatory inducer associated with invasive disease, but the underlying immunopathological mechanisms of the infection remain unsolved. We conducted a comparative stepwise dissection of the inflammatory response in S and R pathogenesis by monitoring infected transparent zebrafish embryos. Loss of TNFR1 function resulted in increased mortality with both variants, and was associated with unrestricted intramacrophage bacterial growth and decreased bactericidal activity. The use of transgenic zebrafish lines harboring fluorescent macrophages and neutrophils revealed that neutrophils, like macrophages, interact with M. abscessus at the initial infection sites. Impaired TNF signaling disrupted the IL8-dependent neutrophil mobilization, and the defect in neutrophil trafficking led to the formation of aberrant granulomas, extensive mycobacterial cording, unrestricted bacterial growth and subsequent larval death. Our findings emphasize the central role of neutrophils for the establishment and maintenance of the protective M. abscessus granulomas. These results also suggest that the TNF/IL8 inflammatory axis is necessary for protective immunity against M. abscessus and may be of clinical relevance to explain why immunosuppressive TNF therapy leads to the exacerbation of M. abscessus infections